Mostowski, Wojciech: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2016 Workshop on Automotive Systems/Software Architectures (WASA) - Venice, Italy (2016.4.5-2016.4.8)] 2016 Workshop on Automotive Systems/Software Architectures (WASA) - Generation of Failure Models through Automata Learning

Kunze, Sebastian, Mostowski, Wojciech, Mousavi, Mohammad Reza, Varshosaz, Mahsa

Year:

2016

Language:

english

File:

PDF, 142 KB

english, 2016

2

Model-Based Fault Injection for Testing Gray-Box Systems

Mostowski, Wojciech

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 443 KB

english, 2018

3

The KeY tool

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Journal:

Software & Systems Modeling

Year:

2005

Language:

english

File:

PDF, 2.04 MB

english, 2005

4

Specifying Java Card API in OCL

Daniel Larsson, Wojciech Mostowski

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 296 KB

english, 2004

5

Implementation-level verification of algorithms with KeY

Bruns, Daniel, Mostowski, Wojciech, Ulbrich, Mattias

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 366 KB

english, 2015

6

[IEEE 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Torino, Italy (2014.02.12-2014.02.14)] 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - Formal Specifications for Java's Synchronisation Classes

Amighi, Afshin, Blom, Stefan, Huisman, Marieke, Mostowski, Wojciech, Zaharieva-Stojanovski, Marina

Year:

2014

Language:

english

File:

PDF, 197 KB

english, 2014

7

[ACM Press the 10th International Workshop - Copenhagen, Denmark (2012.10.24-2012.10.26)] Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '12 - Real-time Java API specifications for high coverage test generation

Ahrendt, Wolfgang, Mostowski, Wojciech, Paganelli, Gabriele

Year:

2012

Language:

english

File:

PDF, 795 KB

english, 2012

8

[ACM Press the 14th International Conference - Fort Collins, CO, USA (2015.03.16-2015.03.19)] Proceedings of the 14th International Conference on Modularity - MODULARITY 2015 - Dynamic dispatch for method contracts through abstract predicates

Mostowski, Wojciech, Ulbrich, Mattias

Year:

2015

Language:

english

File:

PDF, 305 KB

english, 2015

9

[IEEE 2015 14th International Symposium on Parallel and Distributed Computing (ISPDC) - Limassol, Cyprus (2015.6.29-2015.7.2)] 2015 14th International Symposium on Parallel and Distributed Computing - A Symbolic Approach to Permission Accounting for Concurrent Reasoning

Huisman, Marieke, Mostowski, Wojciech

Year:

2015

Language:

english

File:

PDF, 210 KB

english, 2015

10

Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 2016

Aramrattana, Maytheewat, Detournay, Jerome, Englund, Cristofer, Frimodig, Viktor, Jansson, Oscar Uddman, Larsson, Tony, Mostowski, Wojciech, Rodriguez, Victor Diez, Rosenstatter, Thomas, Shahanoor, Go

Journal:

IEEE Transactions on Intelligent Transportation Systems

Year:

2018

Language:

english

File:

PDF, 5.33 MB

english, 2018